" Burkhart Wolff" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Tests and Proofs - TAP 2011

Martin Gogolla, Burkhart Wolff

3.49 Mb

#2

Testing Software and Systems - ICTSS 2011

Burkhart Wolff, Fatiha Zaidi

4.17 Mb

#3

Theorem Proving in Higher Order Logics, 16 conf., TPHOLs 2003

David Basin, Burkhart Wolff

Категория: Cs_Computer science, CsLn_Lecture notes

1.79 Mb

#4

Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Категория: CsLn_

4.58 Mb

#5

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

3.07 Mb